翻訳と辞書 Words near each other ・ Tarsistes philippii ・ Tarsius ・ Tarsius fuscus ・ Tarskavaig ・ Tarski monster group ・ Tarski's axiomatization of the reals ・ Tarski's axioms ・ Tarski's circle-squaring problem ・ Tarski's exponential function problem ・ Tarski's high school algebra problem ・ Tarski's plank problem ・ Tarski's problem ・ Tarski's theorem ・ Tarski's theorem about choice ・ Tarski's undefinability theorem ・ Tarski's World ・ Tarski–Grothendieck set theory ・ Tarski–Kuratowski algorithm ・ Tarski–Seidenberg theorem ・ Tarsky ・ Tarsky District ・ Tarsnap ・ Tarsney ・ Tarso ・ Tarso Genro ・ Tarso Marques ・ Tarso Toh ・ Tarso Voon ・ Tarsocera ・ Tarsocera cassina Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Tarski's World ： ウィキペディア英語版 Tarski's World Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package includes a book, which serves as a textbook and manual, and a computer program which together serve as an introduction to the semantics of logic through games in which simple, three-dimensional worlds are populated with various geometric figures and these are used to test the truth or falsehood of first-order logic sentences. The program is also included in Language, Proof and Logic package.〔Goldson, D., (1994) Review of The Language of First-Order Logic, including the Macintosh Program Tarski's World. ''The Philosophical Quarterly'', 44, 175, 272–275.〕〔Fallis, D.,(1999). Review of The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0. ''Journal of Symbolic Logic'', 64, 2, 916–918.〕〔Compton, K. J., (1993). Review of The Language of First-Order Logic, including the Program Tarski's World. ''Journal of Symbolic Logic'', 58, 1, 362–363.〕〔Bailhache, P.(1992). Review of The Language of First-Order Logic, Including the Macintosh™ Tarski's World. ''Studia Logica'', 51, 1, 145–147.〕〔Goldson, D., Reeves, S. and R. Bornat (1993) A Review of Several Programs for the Teaching of Logic, ''The Computer Journal'', Volume 36, Issue 4, pp. 373-386〕 == The programme == * Barwise, J., & Etchemendy, J. (1993). ''Tarski's world''. Stanford, Calif: CSLI Publ. * Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2008). ''Tarski's world''. Stanford, Calif: CSLI Publications. * ( The Openproof Project at CSLI:home page of the Tarski's World courseware package, Dave Barker-Plummer, Jon Barwise and John Etchemendy in collaboration with Albert Liu ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Tarski's World」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.